Generic Description , Behavior and Animationof Visual Modeling Languages
نویسندگان
چکیده
Syntax Graphic Graphic Graphic Graphic Graphic Graphic Graphic Graphic Graphic String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica Figure 2: Abstract and Concrete Syntax of the AHL Net Alphabet VL sentence = (VL abstract sentence, VL concrete sentence) w.r.t. VL alphabet consists of a VL abstract sentence given by an attributed graph structure A which is an algebra w.r.t. Ags , VL concrete sentence given by additional domains and operations leading to an attributed graph structure A', which is an algebra w.r.t. Ags ' satisfying the Csp . The attributed graph structure A' is called VL (visual) sentence and extends A. 4 Example 3.4 (Visual Sentence of the AHL Net Tra c Lights) The visual sentence of the AHL Net Tra c Lights illustrated in Figure 3, corresponds to the AHL net Tra c Lights in Figure 1 (a), and is a visual sentence w.r.t. the AHL net alphabet in Example 3.2 with the algebraic speci cation SPEC given in Section 2. In Figure 3, the graphical attribute carrier nodes and the graphics belonging to the VL concrete sentence are grouped around the lexical symbol nodes and their connection links of the VL abstract sentence, the dashed arrows marking the connection between the abstract and concrete syntax levels. Link constraint have been omitted in Figure 3. 4 The last step in this section is to de ne the concepts of visual grammar and visual language, based on the concepts of visual alphabet and sentence de ned above. De nition 3.5 (Visual Grammar and Visual Language) Let VL alphabet be a visual alphabet. A visual grammar VL grammar = (VL start sentence, VL rules) w.r.t. VL alphabet consists of a switch C1 C2 after(C2) red1 red-yellow L1 after(C1) 1:P 1:T 1:APT 1:ATP 2:ATP 2:APT 2:P 1:Token !:PN 1:InsTP 1:TN 2:InsTP 1:InsPT 2:InsPT 2:Token C2 C1 red1 2:PN red-yellow L1 ACInsPT Token AC
منابع مشابه
Towards Visual Speci cation
Visual graph and net based modeling techniques are of growing interest for software speciication and development. The GenGEd approach developed at the TU Berlin allows already the generic description of visual modeling languages. In this paper, the GenGEd approach is reviewed and extended in order to support the description of dynamic behavior and animation of Petri net based models. The basic ...
متن کاملTowards Visual Speci cation and Animation of Petri Net Based Models ? ?
Visual graph and net based modeling techniques are of growing interest for software speciication and development. The GenGEd approach developed at the TU Berlin allows already the generic description of visual modeling languages. In this paper, the GenGEd approach is reviewed and extended in order to support the description of dynamic behavior and animation of Petri net based models. The basic ...
متن کاملCode Generation with the Model Transformation of Visual Behavior Models
There exist numerous techniques to define the abstract and the concrete syntax of metamodeled languages. However, only a few solutions are available to describe the dynamic behavior (animation) of visual languages. The aim of our research is to provide visual modeling techniques to define the dynamic behavior of the languages. Previously, we have created languages to describe animation. In this...
متن کاملA Generic System to Support Multi-level Understanding of Heterogeneous Software Gupro : a Generic System to Support Multi-level Understanding of Heterogeneous Software
This paper presents the ideas and the implementation of a generic support system for understanding heterogenous software. GUPRO provides a seamless approach for modeling, representing and analysing software. The focus of GUPRO is its adaptability to (almost) arbitrary kinds of source text. Software of di erent programming and description languages can be represented uniformly by a homogeneous i...
متن کاملModeling multi-clocked data-flow programs in the Generic Modeling Environment
This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language Signal. It relies on the Generic Modeling Environment (Gme), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. The graphical description constitutes the base to build environments to design multi-clocked systems, and a goo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000